W-JS: A Modal Logic of Knowledge
نویسندگان
چکیده
W-JS is a first-order predicate calculus on the modal theory of knowledge. It is based on natural deduction rules and accompanied by possible-world-accessibility semantics. As an example, the famous "Mr. S and Mr. P" puzzle is solved in W-JS.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملAGM Revision in Classical Modal Logics
AGM-style revision operators are defined for several systems of classical modal logic. · · · draft of November 28, 2009 · · · Within AGM, consistency maintenance is done by classical logic. But the reliance on classical consistency presents a problem for exporting AGM revision to non-classical logics in general, and to modal logic in particular. A general technique for solving this problem is t...
متن کاملA Modal Logic Formalism for Distributed and Parallel Knowledge Bases
Knowledge bases are currently being investigated by database researchers in order to extend the expressiveness of the relational model to include deductive capabilities in the form of rules. The motivation behind this paper is to present a formalism which extends the relational approach to homogeneous distributed databases to the knowledge base paradigm. The basis of our formalism of distribute...
متن کاملKnowledge Representation and Reasoning in Modal Higher-order Logic
This paper studies knowledge representation and reasoning in a polymorphicallytyped, multi-modal, probabilistic, higher-order logic. A detailed account of the syntax and semantics of the logic is given. A reasoning system that combines computation and proof is presented, and the soundness of the reasoning system is proved. The main ideas are illustrated by a variety of examples and some applica...
متن کاملModal Logics for Reasoning about Multiagent Systems
It becomes evident in recent years a surge of interest to applications of modal logics for specification and validation of complex systems. It holds in particular for combined logics of knowledge, time and actions for reasoning about multiagent systems (Dixon, Nalon & Fisher, 2004; Fagin, Halpern, Moses & Vardi, 1995; Halpern & Vardi, 1986; Halpern, van der Meyden & Vardi, 2004; van der Hoek & ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1983